Although narcissists often emerge as leaders, the relationship between leader narcissism and follower performance is ambiguous and often even found to be negative. For women, narcissism seems especially likely to lead to negative evaluations. Since narcissists have the tendency to be impulsive and change their minds on a whim, they may come across as inconsistent. We propose “inconsistent leader behavior” as a new mechanism in the relationship between leader narcissism and follower performance and argue that leader gender plays an important (...) role in whether narcissistic leaders are perceived as inconsistent. Specifically, we expect leader narcissism to have a negative relationship with follower performance through perceived inconsistent leader behavior, especially for female leaders. Thus, we examine leader gender as a personal factor moderating the relationship between narcissism and perceived inconsistent behavior. Also, as perceived inconsistency is likely less problematic when a good relationship exists, we examine leader–member exchange as a contextual condition moderating the relationship between leader behavior and follower performance. We test our moderated mediation model in a multi-source study with 165 unique leader–follower dyads. As expected, leader narcissism was positively related to perceived inconsistent leader behavior, and this relationship was stronger for female leaders. Inconsistent leader behavior was negatively related to follower performance, but only when LMX was low. Our research highlights that perceived behavioral inconsistency can be problematic and—for female leaders—provides an explanation of the negative relation of leader narcissism with follower performance and of the inconsistencies in evaluations of narcissistic leaders’ effectiveness. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

BackgroundClinical Ethics Support (CES) services are offered to support healthcare professionals in dealing with ethically difficult situations. Evaluation of CES is important to understand if it is indeed a supportive service in order to inform and improve future implementation of CES. Yet, methods to measure outcomes of CES are scarce. In 2014, the European Moral Case Deliberation Outcomes Instrument (Euro-MCD) was developed to measure outcomes of Moral Case Deliberation (MCD). To further validate the instrument, we tested it in field studies (...) and revised it. This paper presents the Euro-MCD 2.0 and describes the revision process.MethodsThe revision process comprised an iterative dialogue among the authors as Euro-MCD-project team, including empirical findings from six Euro-MCD field-studies and input from European experts in CES and theory. Empirical findings contained perceptions and experiences of MCD outcomes among healthcare professionals who participated in MCDs in various settings in Norway, Sweden and the Netherlands. Theoretical viewpoints on CES, literature on goals of CES and MCD and ethics theory guided the interpretation of the empirical findings and final selection of MCD outcomes.ResultsThe Euro-MCD 2.0 Instrument includes three domains: Moral Competence, Moral Teamwork and Moral Action. Moral Competence consists of items about moral sensitivity, analytical skills and virtuous attitude. Moral Teamwork includes open dialogue and supportive relationships and Moral Action refers to moral decision-making and responsible care. During the revision process, we made decisions about adding and reformulating items as well as decreasing the number from 26 to 15 items. We also altered the sentence structure of items to assess the current status of outcomes (e.g. ‘now’) instead of an assumed improvement over time (e.g. ‘better’) and we omitted the question about perceived importance.ConclusionsThe Euro-MCD 2.0 is shorter, less complex and more strongly substantiated by an integration of empirical findings, theoretical reflections and dialogues with participants and experts. Use of the Euro-MCD 2.0 will facilitate evaluation of MCD and can thereby monitor and foster implementation and quality of MCD. The Euro-MCD 2.0 will strengthen future research on evaluation of outcomes of MCD. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

There are two accounts of the relation between subject and predicate in Leibniz's writings. The former, which appears in De arte combinatoria, is based on an interpretation of this relation in terms of sum and parts and can be viewed as an anticipation of mereology. The latter, which operates after 1686, is based on an interpretation of this relation in terms of inherence. Metaphysical reasons, linked with the discovery of infinitesimal calculus, explain this shift.

This paper examines three accounts of the sleeping beauty case: an account proposed by Adam Elga, an account proposed by David Lewis, and a third account defended in this paper. It provides two reasons for preferring the third account. First, this account does a good job of capturing the temporal continuity of our beliefs, while the accounts favored by Elga and Lewis do not. Second, Elga’s and Lewis’ treatments of the sleeping beauty case lead to highly counterintuitive consequences. The proposed (...) account also leads to counterintuitive consequences, but they’re not as bad as those of Elga’s account, and no worse than those of Lewis’ account. (shrink)

Looking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may (...) be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)